Interaction of Void Spacing and Material Size Effect on Inter-Void Flow Localization

The ductile fracture process in porous metals due to growth and coalescence of micron scale voids is not only affected by the imposed stress state but also by the distribution of the voids and the material size effect. The objective of this work is to understand the interaction of the inter-void spacing (or ligaments) and the resultant gradient induced material size effect on void coalescence for a range of imposed stress states. To this end, three dimensional finite element calculations of unit cell models with a discrete void embedded in a strain gradient enhanced material matrix are performed. The calculations are carried out for a range of initial inter-void ligament sizes and imposed stress states characterised by fixed values of the stress triaxiality and the Lode parameter. Our results show that in the absence of strain gradient effects on the material response, decreasing the inter-void ligament size results in an increase in the propensity for void coalescence. However, in a strain gradient enhanced material matrix, the strain gradients harden the material in the inter-void ligament and decrease the effect of inter-void ligament size on the propensity for void coalescence

Interaction of Void Spacing and Material Size Effect on Inter-Void Flow Localization

The ductile fracture process in porous metals due to growth and coalescence of micron scale voids is not only affected by the imposed stress state but also by the distribution of the voids and the material size effect. The objective of this work is to understand the interaction of the inter-void spacing (or ligaments) and the resultant gradient induced material size effect on void coalescence for a range of imposed stress states. To this end, three dimensional finite element calculations of unit cell models with a discrete void embedded in a strain gradient enhanced material matrix are performed. The calculations are carried out for a range of initial inter-void ligament sizes and imposed stress states characterised by fixed values of the stress triaxiality and the Lode parameter. Our results show that in the absence of strain gradient effects on the material response, decreasing the inter-void ligament size results in an increase in the propensity for void coalescence. However, in a strain gradient enhanced material matrix, the strain gradients harden the material in the inter-void ligament and decrease the effect of inter-void ligament size on the propensity for void coalescence

Abstract Interpretation with Unfoldings

We present and evaluate a technique for computing path-sensitive interference conditions during abstract interpretation of concurrent programs. In lieu of fixed point computation, we use prime event structures to compactly represent causal dependence and interference between sequences of transformers. Our main contribution is an unfolding algorithm that uses a new notion of independence to avoid redundant transformer application, thread-local fixed points to reduce the size of the unfolding, and a novel cutoff criterion based on subsumption to guarantee termination of the analysis. Our experiments show that the abstract unfolding produces an order of magnitude fewer false alarms than a mature abstract interpreter, while being several orders of magnitude faster than solver-based tools that have the same precision.Comment: Extended version of the paper (with the same title and authors) to appear at CAV 201

A micro-mechanics based extension of the GTN continuum model accounting for random void distributions

Randomness in the void distribution within a ductile metal complicates quantitative modeling of damage following the void growth to coalescence failure process. Though the sequence of micro-mechanisms leading to ductile failure is known from unit cell models, often based on assumptions of a regular distribution of voids, the effect of randomness remains a challenge. In the present work, mesoscale unit cell models, each containing an ensemble of four voids of equal size that are randomly distributed, are used to find statistical effects on the yield surface of the homogenized material. A yield locus is found based on a mean yield surface and a standard deviation of yield points obtained from 15 realizations of the four-void unit cells. It is found that the classical GTN model very closely agrees with the mean of the yield points extracted from the unit cell calculations with random void distributions, while the standard deviation $\textbf{S}$ varies with the imposed stress state. It is shown that the standard deviation is nearly zero for stress triaxialities $T\leq1/3$, while it rapidly increases %in the interval $4/3\lesssim T \lesssim 5$ for triaxialities above $T\approx 1$, reaching maximum values of about $\textbf{S}/\sigma_0\approx0.1$ at $T \approx 4$. At even higher triaxialities it decreases slightly. The results indicate that the dependence of the standard deviation on the stress state follows from variations in the deformation mechanism since a well-correlated variation is found for the volume fraction of the unit cell that deforms plastically at yield. Thus, the random void distribution activates different complex localization mechanisms at high stress triaxialities that differ from the ligament thinning mechanism forming the basis for the classical GTN model. A method for introducing the effect of randomness into the GTN continuum model is presented, and an excellent comparison to the unit cell yield locus is achieved

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

Codeine Addiction and Internet Forum Use and Support: Qualitative Netnographic Study

Background: The use of codeine as an analgesic is well-recognized, but there are increasing concerns that for some individuals continued use may lead to misuse, dependence, and fatalities. Research suggests that those affected may represent a hard-to-reach group who do not engage with formal treatment services. Objective: This study sought to explore the experiences of people with self-reported addiction to codeine and, specifically, how a social media forum is used to communicate with others about this issue. Methods: Using a qualitative netnographic methodology, the social media forum Mumsnet was used, with permission, and searches were undertaken in 2016 of any posts that related to codeine and addiction. A total of 95 relevant posts were identified; a purposive sample of 25 posts was selected to undertake subsequent six-stage thematic analysis and development of emerging themes. These 25 posts were posted between 2003 and 2016 and comprised 757 individual posts. Results: Individuals created posts to actively request help in relation to usually their own, but occasionally their partner’s or relative’s, problems relating to codeine use and self-reported “addiction.” Varying levels of detail were provided in narratives of problematic codeine use. There were both positive and negative descriptions of side effects emerging, problems experiencing withdrawal, and failed attempts to discontinue codeine use. Mainly positive and supportive responses to posts were identified from those with either self-reported health profession experience or lay respondents, who often drew on their own experiences of similar problems. Treatment advice emerged in two main ways, either as signposting to formal health services or to informal approaches and often anecdotal advice about how to taper or use cold turkey techniques. Some posts were more critical of the original poster, and arguments and challenges to advice were not uncommon. Shame and stigma were often associated with users’ posts and, while there was a desire to receive support and treatment advice in this forum, users often wanted to keep their codeine use hidden in other aspects of their lives. Distinctly different views emerged as to whether responsibility lay with prescribers or patients. Some users expressed anger toward doctors and their prescribing practices. Conclusions: This study provides a unique insight into how a public internet forum is used by individuals to confirm and seek support about problematic codeine use and of the ways others respond. The pseudonymous use of internet forums for such information and variation in treatment options suggested by often lay respondents suggest that increased formal support and awareness about codeine addiction are needed. There may be opportunities for providing further support directly on such online forums. Improvements in prescribing codeine and in the over-the-counter supply of codeine are required to prevent problematic use from occurring

High-Throughput SuperSAGE for Digital Gene Expression Analysis of Multiple Samples Using Next Generation Sequencing

We established a protocol of the SuperSAGE technology combined with next-generation sequencing, coined “High-Throughput (HT-) SuperSAGE”. SuperSAGE is a method of digital gene expression profiling that allows isolation of 26-bp tag fragments from expressed transcripts. In the present protocol, index (barcode) sequences are employed to discriminate tags from different samples. Such barcodes allow researchers to analyze digital tags from transcriptomes of many samples in a single sequencing run by simply pooling the libraries. Here, we demonstrated that HT-SuperSAGE provided highly sensitive, reproducible and accurate digital gene expression data. By increasing throughput for analysis in HT-SuperSAGE, various applications are foreseen and several examples are provided in the present study, including analyses of laser-microdissected cells, biological replicates and tag extraction using different anchoring enzymes

Keratoconus associated with choroidal neovascularization: a case report

<p>Abstract</p> <p>Introduction</p> <p>Keratoconus and choroidal neovascularization can occur as a result of dysfunction of the epithelium and its basement membrane.</p> <p>Case presentation</p> <p>A 17-year-old Asian man, who was diagnosed with myopic choroidal neovascularization in both eyes and who subsequently underwent intravitreal injection of ranibizumab (Lucentis^®) five times over six months, presented with further vision decrease and pain in his right eye. Examination showed corneal steepening and stromal edema in the inferocentral cornea of his right eye, both of which were indicative of advanced keratoconus with acute hydrops. Corneal topography also showed features consistent with keratoconus in his left eye. Fluorescein angiography and optical coherence tomography revealed choroidal neovascularization-associated subretinal hemorrhages and lacquer cracks in both eyes.</p> <p>Conclusion</p> <p>Keratoconus and choroidal neovascularization, possibly resulting from dysfunction of the epithelium and its basement membrane, can occur together in the same individual. This would suggest a possible connection in pathogenesis between these two conditions.</p

Breed-Specific Hematological Phenotypes in the Dog: A Natural Resource for the Genetic Dissection of Hematological Parameters in a Mammalian Species

Remarkably little has been published on hematological phenotypes of the domestic dog, the most polymorphic species on the planet. Information on the signalment and complete blood cell count of all dogs with normal red and white blood cell parameters judged by existing reference intervals was extracted from a veterinary database. Normal hematological profiles were available for 6046 dogs, 5447 of which also had machine platelet concentrations within the reference interval. Seventy-five pure breeds plus a mixed breed control group were represented by 10 or more dogs. All measured parameters except mean corpuscular hemoglobin concentration (MCHC) varied with age. Concentrations of white blood cells (WBCs), neutrophils, monocytes, lymphocytes, eosinophils and platelets, but not red blood cell parameters, all varied with sex. Neutering status had an impact on hemoglobin concentration, mean corpuscular hemoglobin (MCH), MCHC, and concentrations of WBCs, neutrophils, monocytes, lymphocytes and platelets. Principal component analysis of hematological data revealed 37 pure breeds with distinctive phenotypes. Furthermore, all hematological parameters except MCHC showed significant differences between specific individual breeds and the mixed breed group. Twenty-nine breeds had distinctive phenotypes when assessed in this way, of which 19 had already been identified by principal component analysis. Tentative breed-specific reference intervals were generated for breeds with a distinctive phenotype identified by comparative analysis. This study represents the first large-scale analysis of hematological phenotypes in the dog and underlines the important potential of this species in the elucidation of genetic determinants of hematological traits, triangulating phenotype, breed and genetic predisposition

Cognitive loading affects motor awareness and movement kinematics but not locomotor trajectories during goal-directed walking in a virtual reality environment.

The primary purpose of this study was to investigate the effects of cognitive loading on movement kinematics and trajectory formation during goal-directed walking in a virtual reality (VR) environment. The secondary objective was to measure how participants corrected their trajectories for perturbed feedback and how participants' awareness of such perturbations changed under cognitive loading. We asked 14 healthy young adults to walk towards four different target locations in a VR environment while their movements were tracked and played back in real-time on a large projection screen. In 75% of all trials we introduced angular deviations of ±5° to ±30° between the veridical walking trajectory and the visual feedback. Participants performed a second experimental block under cognitive load (serial-7 subtraction, counter-balanced across participants). We measured walking kinematics (joint-angles, velocity profiles) and motor performance (end-point-compensation, trajectory-deviations). Motor awareness was determined by asking participants to rate the veracity of the feedback after every trial. In-line with previous findings in natural settings, participants displayed stereotypical walking trajectories in a VR environment. Our results extend these findings as they demonstrate that taxing cognitive resources did not affect trajectory formation and deviations although it interfered with the participants' movement kinematics, in particular walking velocity. Additionally, we report that motor awareness was selectively impaired by the secondary task in trials with high perceptual uncertainty. Compared with data on eye and arm movements our findings lend support to the hypothesis that the central nervous system (CNS) uses common mechanisms to govern goal-directed movements, including locomotion. We discuss our results with respect to the use of VR methods in gait control and rehabilitation